Перевод: с русского на все языки

со всех языков на русский

выводить формула

См. также в других словарях:

  • Рим город* — Содержание: I. Р. Современный; II. История города Р.; III. Римская история до падения западной Р. империи; IV. Римское право. I. Рим (Roma) столица Итальянского королевства, на реке Тибре, в так называемой Римской Кампанье, под 41°53 54 северной… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • Рим, город — Содержание: I. Р. Современный; II. История города Р.; III. Римская история до падения западной Р. империи; IV. Римское право. I. Рим (Roma) столица Итальянского королевства, на реке Тибре, в так называемой Римской Кампанье, под 41°53 54 северной… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

  • ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

  • Культурно-политическое устройство Древнего Рима — Для улучшения этой статьи желательно?: Добавить иллюстрации. Проставить интервики в рамках проекта Интервики. Викифицировать статью …   Википедия

  • Электрохимия* — Содержание: Введение. Историческая справка. Обозначения, принятые в Э. Основные законы и принципы. Перенос ионов. Электропроводность растворов. Электровозбудительная сила. Переход химической энергии в электрическую. Классификация гальванических… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • Электрохимия — Содержание: Введение. Историческая справка. Обозначения, принятые в Э. Основные законы и принципы. Перенос ионов. Электропроводность растворов. Электровозбудительная сила. Переход химической энергии в электрическую. Классификация гальванических… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • Чернышевский, Николай Гаврилович — — сын Гавриила Ивановича Ч., публицист и критик; род. 12 го июля 1828 г. в Саратове. Одаренный от природы отличными способностями, единственный сын своих родителей, Н. Г. был предметом усиленных забот и попечений всей семьи. Хотя и… …   Большая биографическая энциклопедия

  • Satisfiability Modulo Theories — В программировании, Satisfiability Modulo Theories (SMT) это задача разрешимости для логических формул с учётом лежащих в их основе теорий. Примерами таких теорий для SMT формул являются: теории целых и вещественных чисел, теории списков,… …   Википедия

  • логика —         ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… …   Энциклопедия эпистемологии и философии науки

  • Брахмагупта — ब्रह्मगुप्त Дата рождения: 598 год(0598) Место рождения: Бхинмал, Индия Дата смерти: 660 год …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»